Convex Optimization-based Static Analysis for Control Systems. (Analyse statique de contrôleurs à base d'optimisation convexe)
نویسنده
چکیده
Jury : Éric Goubault – Professeur au LIX à l'École Polytechnique Ilya Kolmanovsky – Professor of Aerospace Engineering at Michigan University, USA David Monniaux – Directeur de recherche au CNRS, Laboratoire Vérimag Behçet Açikmese – Associate Professor of Aeronautics & Astronautics at University of Washington, USA Éric Féron – Professor of Aerospace Engineering at Georgia Tech, USA John Hauser – Associate Professor, Dept. of Electrical and Computer Engineering at University of Colorado Boulder, USA Didier Henrion – Directeur de recherches au LAAS-CNRS, Université de Toulouse Matthieu Martel – Professeur à l'Université de Perpignan Via Domitia, Laboratoire de Mathématiques et de Physique (LAMPS) Philippe Queinnec – Professeur à l'INPT/IRIT, Université de Toulouse
منابع مشابه
Quadratic Growth and Stability in Convex Programming Problems with Multiple Solutions Quadratic Growth and Stability in Convex Programming Problems with Multiple Solutions
Given a convex program with C 2 functions and a convex set S of solutions to the problem, we give a second order condition which guarantees that the problem does not have solutions outside of S. This condition is interpreted as a characterization for the quadratic growth of the cost function. The crucial role in the proofs is played by a theorem describing a certain uniform regularity property ...
متن کاملAnalyse statique pour l'optimisation des mises à jour de documents XML temporels. (Static analysis for optimizing the update of large temporal XML documents)
متن کامل
Shape Optimization of a Sodium Fast Reactor Core
Résumé. On applique dans cet article une méthode d'optimisation géométrique dans le cadre de la conception d'un c÷ur de réacteur SFR dans le but de minimiser une contre réaction thermique connue sous le nom d'e et de vidange sodium. Lorsqu'une augmentation de température survient, ce type de réacteur peut être sujet à une forte augmentation de réactivité, un paramètre clé dans le contrôle de la...
متن کاملDioïdes et idéaux de polynômes en analyse statique. (Static analysis with dioids and polynomial ideals)
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملExistence and Uniqueness of Optimal Control to the Navier-Stokes Equations
In this note we establish the existence and uniqueness of solutions for optimal control problems for the 2D Navier-Stokes equations in a 2D-channel. Our approach is based on infinite-dimensional optimization ; the cost functional is shown to be strictly convex. Generalization to other control problems as well as a gradient algorithm are presented. Existence et unicité du contrôle optimal des éq...
متن کامل